#!/bin/sh
#
# git-pull-all -- pull all labs' repositories
#

TOP_DIR=$(cd $(dirname $0)/../../ && pwd)
. $TOP_DIR/tools/docker/config $* >/dev/null

for lab in $LABS
do
    echo "LOG: pulling repository: $lab"

    cd ${LAB_DIR}/$lab && git pull -v
done
